TSTP Solution File: DAT146^1 by Scavenger---EP-0.2